first(${\it pred?}$;$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg_{2}$isl(${\it pred?}$($e$))